1. Abstract computing machines :
Author: / W. Kluge
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine theory,Lambda calculus
Classification :
E-BOOK
2. Abstract computing machines ; a lambda calculus perspective
Author: / W. Kluge
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Machine theory,Lambda calculus
Classification :
QA
278
.
K6
2005
3. Processes, terms and cycles
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;
4. Processes, terms and cycles
Author: / Aart Middeldorp ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Lambda calculus.,Rewriting systems (Computer science),Machine theory.
Classification :
QA
,
9
.
5
,.
P76
,
2005
